Galois connection - PDFSEARCH.IO - Document Search Engine

Galois connection
Results: 39

#	Item
31	The Power of Parameterization in Coinductive Proof Chung-Kil Hur Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2012-11-01 02:57:53 Structure Abstract interpretation Galois connection Coinduction Mathematics Order theory Mathematical analysis
32	Galois Connections and Fixed Point Calculus Roland Backhouse∗ October 15, 2001 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-10-17 06:08:50 Group theory Order theory Field theory Abstract interpretation Galois connection Galois theory Function Differential equation Évariste Galois Mathematics Abstract algebra Algebra
33	Science of Computer Programming Add to Reading List Source URL: galois.squarespace.com Language: English - Date: 2012-11-19 14:07:33 Topology Field theory Algebraic topology Abstract interpretation Galois connection Sheaf Continuous function Algebraic number field Field Abstract algebra Mathematics Order theory
34	PDF Document Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2013-09-11 03:48:23 Lattice theory Structure Algebraic structures Lattice Complete lattice Galois connection Distributive lattice Semilattice Distributivity Order theory Mathematics Abstract algebra
35	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-09-01 11:09:05 Differential algebra Galois theory Algebraic groups Algebraic number theory Picard–Vessiot theory Differential Galois theory Galois extension Galois group Galois connection Abstract algebra Algebra Field theory
36	PDF Document Add to Reading List Source URL: ijpam.eu Language: English - Date: 2012-01-23 10:00:00 Structure Lattice theory Algebraic structures Lattice Filter Galois connection Semilattice Complete lattice Ideal Order theory Mathematics Abstract algebra
37	PDF Document Add to Reading List Source URL: kwuida.googlepages.com Language: English Algebra Order theory Algebraic structures Distributive lattice Formal concept analysis Complete lattice Galois connection Boolean algebra Lattice Abstract algebra Mathematics Lattice theory
38	PDF Document Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2008-08-05 11:56:04 Structure Abstract interpretation Abstraction Partially ordered set Order theory Mathematics Galois connection
39	PDF Document Add to Reading List Source URL: www.logicmatters.net Language: English - Date: 2010-06-12 11:51:12 Abstraction Partially ordered set Order-embedding Galois connection Lattice Order isomorphism Duality Graded poset Order dimension Order theory Mathematics Structure

UPDATE